Automated planning and scheduling - PDFSEARCH.IO - Document Search Engine

Automated planning and scheduling
Results: 432

#	Item
51	TDOT Local Programs: Local Government Guidelines Training March 4, 2015 – Nashville Add to Reading List Source URL: www.tdot.state.tn.us Language: English - Date: 2015-03-09 12:43:46 Tennessee Department of Transportation Artificial intelligence Automated planning and scheduling Planner
52	A Normal Form for Classical Planning Tasks Florian Pommerening and Malte Helmert University of Basel Basel, Switzerland {florian.pommerening,malte.helmert}@unibas.ch Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-04-01 08:50:48 Admissible heuristic Heuristic Heuristics Heuristic function Automated planning and scheduling
53	Semester & Weekly Planners The Learning Center at UNC-CH The Semester Planner A one page calendar that displays the “big Add to Reading List Source URL: learningcenter.unc.edu Language: English - Date: 2013-12-18 13:52:10 Learning Flashcard Academic term Time management Artificial intelligence Automated planning and scheduling Planner
54	A Beginner’s Introduction to Heuristic Search Planning 7. Going Further Malte Helmert Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2015-01-20 05:17:56 Heuristic function Heuristic Planner Search algorithm Algorithm Planning Domain Definition Language Artificial intelligence Automated planning and scheduling Heuristics
55	Action Planning & General Game Playing for Robots Stefan Edelkamp, Institute for Artificial Intelligence, University of Bremen One of the oldest dreams in the research area of Artificial Intelligence is the design of aut Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Reactive planning Robot Motion planning Humanoid robot Model checking Linear temporal logic Planning STRIPS NuSMV Automated planning and scheduling Artificial intelligence Planning Domain Definition Language
56	Monte Carlo Value Iteration with Macro-Actions Zhan Wei Lim David Hsu Wee Sun Lee Add to Reading List Source URL: www.comp.nus.edu.sg Language: English - Date: 2011-11-09 00:33:14 Stochastic control Control theory Partially observable Markov decision process Automated planning and scheduling Markov decision process Reinforcement learning Macro Algorithm Statistics Dynamic programming Markov processes
57	PDF Document Add to Reading List Source URL: icaps11.icaps-conference.org Language: English - Date: 2013-04-15 04:52:48 Thought Mind Science Business Automated planning and scheduling Control theory Model checking Uppaal Model Checker Planning Management Problem solving Project management
58	Authors’ preprint. The final publication is available at www.springerlink.com. (http://www.springerlink.com/content/w01w784704364806/) P LATAS – Integrating Planning and the Action Language Golog Jens Claßen · Gabr Add to Reading List Source URL: ai.cs.unibas.ch Language: English - Date: 2013-01-07 17:29:29 Mathematics Situation calculus Theoretical computer science Formal languages STRIPS Planning Domain Definition Language Frame problem Combinatory logic Action language Artificial intelligence Automated planning and scheduling Logic programming
59	R E ACT ! An Interactive Tool for Hybrid Planning in Robotics Zeynep Dogmus, Volkan Patoglu and Esra Erdem Faculty of Engineering and Natural Sciences, Sabancı University, ˙Istanbul, Turkey Email: {zeynepdogmus,vpatogl Add to Reading List Source URL: faculty.cua.edu Language: English - Date: 2015-05-26 14:10:44 Logic programming Automated planning and scheduling Formal methods Reasoning Action description language Answer set programming Action language Algorithm Boolean satisfiability problem Theoretical computer science Applied mathematics Artificial intelligence
60	52426—Artificial Intelligence Planning Practicals, 2008 The AI Course Team, Department of Computer and Information Sciences (sample rock rover0 rover0store waypoint3) Add to Reading List Source URL: www.inf.kcl.ac.uk Language: English - Date: 2011-11-03 17:18:55 Mathematical logic Theoretical computer science Planning Domain Definition Language Electronic filter Search algorithm Mathematics Electronics Automated planning and scheduling Signal processing filter Algorithm